Dependent shrink for Petri net models of signaling pathways

نویسندگان

  • Atsushi Mizuta
  • Qi-Wei Ge
  • Hiroshi Matsuno
چکیده

Retention-free Petri net has been used in modeling of signaling pathways, which is a timed Petri net such that total input and total output token flows are equivalent at any place. Previously we have investigated the dependency of transitions in retention-free Petri net. In this paper, we introduce a modeling method for signaling pathway by using Petri net, giving properties of retention-freeness by considering arc weight. Based on the obtained properties, we propose an algorithm to find shrinkable transitions and to shrink them into a single transition. This algorithm eventually provides a set of transitions whose firing frequencies are dependent. As an example, we apply the algorithm to IL-3 signaling pathway Petri net model to show the usefulness of our proposed algorithm.

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Dependent Shrink of Transitions for Calculating Firing Frequencies in Signaling Pathway Petri Net Model

Despite the recent rapid progress in high throughput measurements of biological data, it is still difficult to gather all of the reaction speed data in biological pathways. This paper presents a Petri net-based algorithm that can derive estimated values for non-valid reaction speeds in a signaling pathway from biologically-valid data. In fact, these reaction speeds are reflected based on the de...

متن کامل

Delay Time Estimation for Petri Net Models of Signaling Pathways Based on Experimental Data

In this paper, we propose a delay time estimation algorithm for Petri net models of signaling pathways based on experimental data. Firstly, we model signaling pathways (we use the example of ErbB4 receptor signaling pathway) with discrete Petri nets. Then, we propose a delay time estimation algorithm for Petri net models with experimental data, and assign estimated delay times to a model to be ...

متن کامل

Structural Modeling and Analysis of Signaling Pathways Based on Petri Nets

The purpose of this paper is to discuss how to model and analyze signaling pathways by using Petri net. Firstly, we propose a modeling method based on Petri net by paying attention to the molecular interactions and mechanisms. Then, we introduce a new notion "activation transduction component" in order to describe an enzymic activation process of reactions in signaling pathways and shows its co...

متن کامل

Simulation and analysis of metabolic networks by time-dependent Petri nets

Traditional mathematical models are focussed on the construction of kinetic models by solving algebraic equations for steady states and systems of differential equations for time-dependent states (for a review see Heinrich & Schuster [4]). Petri net theory exhibits a mathematical formalism to model, analyze, and simulate discrete event systems with inherent concurrency (Peterson [7], Starke [9]...

متن کامل

Constructing biological pathway models with hybrid functional Petri net

In many research projects on modeling and analyzing biological pathways, the Petri net has been recognized as a promising method for representing biological pathways. From the pioneering works by Reddy et al., 1993, and Hofestädt, 1994, that model metabolic pathways by traditional Petri net, several enhanced Petri nets such as colored Petri net, stochastic Petri net, and hybrid Petri net have b...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 2015